TAGs Solve by substitution